A first-order behavioral model of capacity drop
نویسندگان
چکیده
منابع مشابه
A Simulation-Optimization Model For Capacity Coordination In Make To Stock/Make To Order Production Environments
Capacity coordination, as the tactical level of hierarchical production planning in hybrid MTS/MTO systems, includes numerous important decisions. In this paper, two of these decisions i.e. finding the best strategy for the acceptance/rejection of incoming orders and determining orders’ due dates – are investigated. Also a simulation model is proposed to evaluate the efficiency of the presented...
متن کاملinvestigating the feasibility of a proposed model for geometric design of deployable arch structures
deployable scissor type structures are composed of the so-called scissor-like elements (sles), which are connected to each other at an intermediate point through a pivotal connection and allow them to be folded into a compact bundle for storage or transport. several sles are connected to each other in order to form units with regular polygonal plan views. the sides and radii of the polygons are...
First-Order Stable Model Semantics and First-Order Loop Formulas
Lin and Zhao’s theorem on loop formulas states that in the propositional case the stable model semantics of a logic program can be completely characterized by propositional loop formulas, but this result does not fully carry over to the first-order case. We investigate the precise relationship between the first-order stable model semantics and first-order loop formulas, and study conditions und...
متن کاملFirst-Order Model Counting in a Nutshell
First-order model counting recently emerged as a computational tool for high-level probabilistic reasoning. It is concerned with counting satisfying assignments to sentences in first-order logic and upgrades the successful propositional model counting approaches to probabilistic reasoning. We give an overview of model counting as it is applied in statistical relational learning, probabilistic p...
متن کاملA first order model in traffic flow
First order traffic flow models have been studied for long time, since they represent the simplest way to begin with the understanding of such a complex system. To our knowledge the Lighthill-Whitham-Richards (LWR) model was the first model to describe unidirectional, one-dimensional traffic flow in a highway [1], [2]. This model considers the continuity equation for the density of vehicles (nu...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Transportation Research Part B: Methodological
سال: 2017
ISSN: 0191-2615
DOI: 10.1016/j.trb.2017.09.021